341. Software technologies for embedded and ubiquitous systems
پدیدآورنده : Sang Lyul Min ... [et al.] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses,Embedded computer systems-- Programming, Congresses,Ubiquitous computing, Congresses
342. Stabilization, Safety, and Security of Distributed Systems
پدیدآورنده : \ Andrzej Pelc , Alexander A. Schwarzmann (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Self-stabilization (Computer science) -- Congresses.,Electronic data processing -- Distributed processing -- Safety measures -- Congresses.,خودثباتی (کامپیوتر) -- کنگره ها ,داده‌پردازی -- پردازش توزبع شده -- پيش بينيهاي ايمني -- کنگره ها
رده :
QA
76
.
9
.
S54
2015
E-Book
,
343. Stabilization, safety, and security of distributed systems
پدیدآورنده : Rachid Guerraoui ; Franck Petit (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2009
344. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Taisuke Izumi, Petr Kuznetsov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.
رده :
QA76
.
9
.
S54
345. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Xavier Défago, Franck Petit, Vincent Villainches
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2011
346. Stabilization, safety, and security of distributed systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
پدیدآورنده : Borzoo Bonakdarpour, Franck Petit )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Self-stabilization )Computer science(,Safety measures -- Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer security
رده :
QA
76
.
L28
Vol
.
10083
347. Stepwise refinement of distributed systems :
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
D5
S75
1990
348. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop , Mook, The Netherlands, May 29-June 2, 1989 : Proceedings
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
430
349. Structural Information and Communication Complexity :
پدیدآورنده : Keren Censor-Hillel, Michele Flammini (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Computer networks.,Digital communications.,Electronic data processing-- Distributed processing.
رده :
QA76
.
9
.
A43
350. Structural Information and Communication Complexity :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
351. Structural information and communication complexity :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
352. Structural information and communication complexity :
پدیدآورنده : Zvi Lotker, Boaz Patt-Shamir (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
رده :
QA76
.
9
.
A43
353. Structural information and communication complexity :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
354. Structural information and communication complexity : 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005 : proceedings
پدیدآورنده : Andrzej Pelc, Michel Raynal )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer networks
رده :
QA
76
.
L28
Vol
.
3499
355. Structural information and communication complexity : 11th International Colloquium, SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004 : proceedings
پدیدآورنده : Ratislav Kralovic, Ondrej Sykora )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer networks,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
3104
356. TRON project 1983: open-architecture cpmputer systems/ Proceedings of the fifth TRON Project Symposium
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Computer architecture,Congresses ، Real-time data processing,Congresses ، Electronic data processing-- Distributed processing
رده :
QA
76
.
9
.
A73
.
T76
1988
357. Third International Workshop on Object-oriented Real-time Dependable Systems: proceedings, February 5-7, 1997, Newport Beach, California, U.S.A
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Object-oriented databases,Congresses ، Real-time data processing,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Computer networks
رده :
QA
76
.
9
.
D3
.
I587
1997
358. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
359. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
پدیدآورنده : Tizina Margaria, Bernhard Steffen )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1055
360. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
پدیدآورنده : E. Brinksma ... )et al.(, eds
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
V0l
.
1019
